From 9a04a27ba6d9c96ff6cf983e5289a3cf72a0be90 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Fri, 15 Nov 2013 23:41:09 -0500
Subject: [PATCH] GtkButton: don't propagate double-clicks

It is basically always unexpected to have a container handle
double-clicks on a widget that handles single-clicks itself.
---
 gtk/gtkbutton.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gtk/gtkbutton.c b/gtk/gtkbutton.c
index e3725570c1..456db7907b 100644
--- a/gtk/gtkbutton.c
+++ b/gtk/gtkbutton.c
@@ -1922,6 +1922,10 @@ gtk_button_button_press (GtkWidget      *widget,
           return GDK_EVENT_STOP;
         }
     }
+  else if (event->type == GDK_2BUTTON_PRESS)
+    {
+      return GDK_EVENT_STOP;
+    }
 
   return GDK_EVENT_PROPAGATE;
 }
-- 
2.30.2